Розглянуто застосування автоматичного доведення теорем як методологічної основи нечіткого ситуаційного пошуку рішень.

Розглянуто теоретичний підхід, який дозволяє розв'язувати задачу вибору раціонального варіанта технічної реалізації складної системи на ранніх етепах її проектування із врахуванням якісних і кількісних вимог та обмежень.

Розглянуто новий підхід до оцінки обгрунтованості рішень, який базується на експертних судженнях та логіко-лінгвістичних моделях формування планів.

Рассмотрены методы и процедуры организации и проведения экспертиз, особенности экспертного опроса и анализа экспертной информации. Раскрыты психофизиологические ограничения возможностей человека как источника информации и особенности группового мышления. Изложены методы анализа индивидуальных экспертных суждений и алгоритмы их агрегации. Раскрыта суть измерений при экспертном оценивании, приведены типы шкал и допустимые преобразования для них, а также сформулированы основные задачи и этапы экспертиз.

Розкрито ефект одиничного нормування, що у ряді задач прийняття рішень призводить до некоректних результатів, і визначено умови його виникнення. Запропоновано новий підхід до багатокритеріального вибору, характерною рисою якого є можливість формування відношення переваг на множині альтернатив шляхом групового обліку їх відносної переваги.

Показано, що застосування методу аналізу ієрархій під час оцінки альтернатив за метричними критеріями сприяє тому, що їх бінарні відносини переваг можуть змінюватися. Запропоновано конструктивний метод, за допомогою якого можна усунути цей ефект.

Розроблено модель процесу формування раціонального варіанта технічної реалізації АСУ на ранніх стадіях проектування за умов невизначеності вихідних даних. Запропоновано методи й алгоритми реалізації цієї моделі.

Запропоновано підхід щодо побудови технічного обліку автоматизованих систем, який надає механізм системної структуризації цього процесу, що дозволяє одержати більш точні оцінки основних показників даної системи.

Для решения задачи проектирования структуры автоматизированной системы управления организационного типа предложено использовать агрегативно-декомпозиционный подход. Рассмотрены методические аспекты такого подхода в условиях неполноты и неопределенности исходных данных.

Рассмотрен один из возможных подходов к обоснованию требований к автоматизированным системам, методологическую основу которого составляют модели и методы построения облика системы и плана его реализации, позволяющие обеспечить комплексность формирования обоснованных требований в рамках одного информационно-функционального процесса.

Предложены механизмы обработки нечетких оценок в соответствующих процедурах метода прогнозного графа.

Рассмотрен один из возможных подходов к формализации процесса формирования технического облика автоматизированных систем, который позволяет структурировать этот процесс последовательностью взаимоувязанных технологических процедур и получить необходимые и достаточные исходные данные для обоснования требований к системе.

Рассмотрен подход к структуризации процесса концептуального проектирования автоматизированных систем. Предложены методы формализации этапов формирования вариантов концепции системы, выбора варианта, наилучшим образом учитывающего требования пользователя, и определения ожидаемых результатов реализации выбранного варианта.

Работа посвящена организации проектирования автоматизированных систем (АС). Приведена их классификация, принципы построения, технологии и методы проектирования. Изложены этапы и модели жизненного цикла АС и показана роль и место предпроектного проектирования в жизненном цикле. Раскрыты цели, задачи и этапы информационного обследования объектов автоматизации. Приведены методы проведения обследования объектов автоматизации в организационных системах и изложено моделирование бизнес-процессов. Рассмотрены вопросы формирования и управления требованиями. Приведена классификация, уровни и принципы создания требований. Показана роль и место аналитика требований, проанализированы его задачи. Раскрыта суть задачи выявления требований и приведены методы их выявления. Обсуждены вопросы управления требованиями и описаны принципы, приемы, процедуры и инструментальные средства управления ими. Обсуждены проблемы и цели концептуального проектирования, приведено описание архитектуры систем и рассмотрены архитектурные концептуальные схемы. Описаны архитектурные парадигмы, варианты архитектур и архитектурные стили. Рассмотрены основы проектирования архитектур, методы проектирования и оценивания архитектур. Рассмотрены методологические аспекты концептуального проектирования АС. Обсуждены вопросы обликового проектирования АС. Раскрыта суть обликового проектирования и приведена формализованная постановка и решение задачи построения облика АС и ее частных задач.

Запропоновано метод контролю стану радіоканалу в системах інформаційної безпеки сутність якого полягає в тому, що оцінка передаточної характеристики каналу радіосистеми здійснено методом поелементного ділення з використанням алгоритму виявлення подавлених шумовими завадами в частині смуги пілот-несучих із подальшим виключенням їх впливу на одержання остаточної оцінки передаточної характеристики.

Рассмотрен подход к созданию корреляционных механизмов в SIEM-системах. В качестве логической основы таких механизмов предложено использование немонотонных правил умолчаний в сочетании с выводом резолюционного типа. Данный подход расширяет возможности классических корреляционных механизмов SIEM-систем за счет возможности одновременного использования как общезначимых продукционных правил, так и правил умолчаний, которые позволяют описывать типичные ситуации. Это дает возможность обрабатывать исключения без их предварительной идентификации и создавать более гибкие механизмы корреляции.

Предложен подход к оценке обоснованности управленческих решений, согласно которому обоснованность решения рассматривается как степень истинности всех его положений. В основу подхода положен логико-лингвистический анализ факторов, определяющих обоснованность и нечеткий вывод, что позволяет получить доказательные оценки обоснованности принимаемых управленческих решений в различных сферах деятельности.

Рассмотрены механизмы обработки нечетких экспертных оценок при прогнозировании времени и путей решения научно-технических проблем. Предложена функция распределения вероятности времени выполнения работ, позволяющая по совокупности дискретных интервальных бета-распределений построить интегральное непрерывное распределение случайной величины на всей области ее определения. В качестве меры согласованности нечетких оценок используется коэффициент вариации левых и правых границ временных интервалов. Описано применение метода Монте-Карло для определения ожидаемых затрат.

Исследовано явление процесса оценки научно-технического уровня научных и научно-технических проектов путем применения бальных шкал различной длины с использованием в качестве функции обобщенного показателя аддитивной свертки. Цель статьи - разработка методического подхода к оценке эффективности научных и научно-технических проектов, согласно которому в качестве интегрального показателя используется обобщенная функция Харрингтона. Задача статьи состоит в анализе существующих подходов к оценке научно-технического уровня научных и научно-технических проектов, методических аспектов использования обобщенного показателя эффективности и обоснование использования обобщенной функции Харрингтона. Использованы методы системного и сравнительного анализа, методы экспертного оценивания, математического и имитационного моделирования. Рассмотрена система критериев и показателей оценки, на основании которых определяется степень прогрессивности (новизны) и полезности результатов научно-исследовательских и опытно-конструкторских работ. Оценка научно-технического уровня проекта осуществляется экспертным путем и основывается на получении численных значений показателей новизны, значимости для науки и практики, объективности, доказательности и точности результатов с последующим вычислением интегрального (обобщенного) показателя по конкретному проекту. При этом предложено использование обобщенной функции Харрингтона, которая позволяет избежать использования аддитивного интегрального показателя при оценке научно-технического качества проектов. Выводы: рассмотрено применение обобщенной функции Харрингтона в качестве интегрального показателя эффективности научных и научно-технических проектов. Это дает возможность, во-первых, избежать аддитивного интегрального показателя качества научных и научно-технических проектов. Во-вторых, для каждого показателя эффективности выбирать такую шкалу оценки, максимально согласована с объективными отношениями, которым подчинен соответствующий показатель. В-третьих, использование шкалы Харрингтона позволяет интерпретировать обобщенный показатель эффективности научных исследования модальными категориями термина "желательно".

Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументацией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация осуществляется механизмом опровержения. В качестве такого механизма предложена структурная резолюция (S-резолюция), которая является обобщением принципа резолюций на нечеткие утверждения. S-резолюция основана на семантических индексах литер и их сходстве. Семантические индексы являются существенным моментом S-резолюции. Они содержат информацию, которая используется в качестве управляющей в процессе вывода. А сходство заключается в поиске литер для получения S-резольвенты. Комплексирование композиционного правила вывода Л. Заде и S-резолюции позволяет, с одной стороны, снять проблему корректности резольвент в нечеткой логике, а с другой - обеспечить регулярность процесса доказательства как в двузначной, так и в нечеткой логике.